A digraph is a finite set of points (called vertices) and a set of arrows (called arcs) connecting some of the points.